🔍 Type Inference - abnv · Scour

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

arxiv.org·1d

🪜Recursive Descent

Making a Language

thunderseethe.dev·7h

🔬programming language theory

Kolmogorov Complexity

en.wikipedia.org·17h·

Discuss: Hacker News

λLambda Calculus

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·1d

🐪OCaml GADTs

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·21h·

Discuss: Hacker News

🔍ML Language

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·17h

🏗️Cranelift

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

🪜Recursive Descent

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·16h·

Discuss: DEV

GNU C Language Manual

gnu.org·10h

🪄C Metaprogramming

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Binary Algorithms

exystence.net·1d

📡Binary Protocols

🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...

freederia.com·1d

🧠Semantic Parsing

Regularity bias in Solomonoff, transformers, and evolution

lesswrong.com·5h

🚂Error Propagation

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

Loading more...